2 1
{S[i,j]: 0<=i<256 and 0<=j<256}
{S[i,j]->A[i,j]}
{S[i,j]->B[i,j]}
{S[i,j]->C[i,j]}